System programming language - PDFSEARCH.IO - Document Search Engine

System programming language
Results: 2012

#	Item
421	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) A formally verified compiler back-end Xavier Leroy Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2009-10-29 04:36:18 Compiler construction Programming language implementation Type theory Compilers Procedural programming languages Compiler Type system Formal verification Type safety Software engineering Computing Software
422	Maria Modular Reachability Analyzer for Algebraic System Nets 20 June 2003, Maria Versionby Marko M¨ akel¨ Add to Reading List Source URL: www.tcs.hut.fi Language: English - Date: 2003-06-20 09:11:14 C programming language Cross-platform software Programming language implementation Procedural programming languages Punctuation C preprocessor Maria Preprocessor C Software engineering Computing Computer programming
423	Specification of Zinc and MiniZinc Zinc version 0.10 MiniZinc version 1.0 Nicholas Nethercote Mark Wallace Add to Reading List Source URL: www.minizinc.org Language: English - Date: 2009-05-20 00:54:28 Data types Type theory Cross-platform software Procedural programming languages C Enumerated type Type system Database index Computing Software engineering Programming language theory
424	COMBINING PROOFS AND PROGRAMS Chris Casinghino A DISSERTATION in Computer and Information Science Presented to the Faculties of the University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-10-09 16:17:45 Computing Type system Coq Dependent type C Interpretation Simply typed lambda calculus Denotational semantics Type theory Programming language theory Software engineering
425	Experiences Teaching Operating Systems Using Virtual Platforms and Linux Jason Nieh Chris Vaill Add to Reading List Source URL: www.cs.columbia.edu Language: English - Date: 2004-12-01 21:38:39 Virtual machines Programming language implementation Operating system Hypervisor Kernel Linux kernel Linux VM MINIX System software Software VMware
426	A modern eye on ML type inference – Old techniques and recent developments – Franc¸ois Pottier INRIA September 2005 Add to Reading List Source URL: cristal.inria.fr Language: English - Date: 2007-01-26 09:13:38 Computing Type inference Type system Lambda calculus Constraint programming Hindley–Milner Generalized algebraic data type Constraint satisfaction Standard ML Software engineering Programming language theory Type theory
427	Type Systems Luca Cardelli Digital Equipment Corporation Systems Research Center 1 Introduction Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 1997-01-06 09:33:32 Programming language theory Data types Type system Strong typing Type inference Programming language Pointer Typing environment Ada Software engineering Computing Type theory
428	Do Programming Languages Affect Productivity? A Case Study Using Data from Open Source Projects Daniel P. Delorey Brigham Young University Provo, UT Add to Reading List Source URL: sequoia.cs.byu.edu Language: English - Date: 2011-07-05 12:51:43 Software metrics Computer programming Programming paradigms Notation Programming language Object-oriented programming Programming productivity Concurrent Versions System Variable Software engineering Computing Software
429	Bytecode Translation: From The .Net CLR To Parrot Jonathan Worthington OSCON 2007 Add to Reading List Source URL: www.jnthn.net Language: English - Date: 2014-10-21 09:51:13 Programming language implementation Virtual machines Cross-platform software Compiler construction Parrot virtual machine Bytecode Compiler VM Software System software Computing
430	Complementing Ada with Other Programming Languages Samuel Tardieu Alexis Polti Institut Télécom/Télécom ParisTech Add to Reading List Source URL: www.rfc1149.net Language: English - Date: 2009-10-30 05:22:01 Field-programmable gate array Hardware description language AdaCore Embedded system Robot Ada Verilog CompactRIO Computing Electronic engineering Software engineering

UPDATE